Automated Analysis of Fault-Tolerance in Distributed Systems
نویسندگان
چکیده
منابع مشابه
Automated Analysis of Fault-Tolerance in Distributed Systems
values alone capture too little information about relationships between concrete values. For example, consider a system containing a majority voter. The voter's outputs depend on equality relationships among its inputs. If two inputs both have abstract value N, denoting the natural numbers, there is no way to tell from this whether they are equal. To more accurately track relationships between ...
متن کاملFault Tolerance Approach in Mobile Distributed Systems
Mobile agent become very popular and attracted more importance these days due to the exponential growth of internet applications. The design of fault tolerance system become very challenging due to limited bandwidth of wireless network, mobile host mobility, limited local storage, limited battery power and handoff. A distributed system is a collection of independent entities to solve the proble...
متن کاملProviding Fault Tolerance in Distributed Systems
While the technology behind distributed computing systems provides many benefits to those utilizing them, it also ushers in a realm of problems which must be accounted for and dealt with in order to use this technology to its full potential. This paper will examine common causes of faults and the effects which arise from them. Methods and technologies designed to handle these events will be dis...
متن کاملFault-Tolerance in Distributed Real-Time Systems
Fault-tolerance in real-time systems is defined informally as the ability of the system to deliver correct results in a timely manner even in the presence of faults. Dependable real-time systems are being developed in diverse applications including avionics, air-traffic control, plant automation, automotive control, telephone switching, and automatic stock trading. These systems often operate u...
متن کاملFault-Tolerance by Replication in Distributed Systems
The paper is a tutorial on fault-tolerance by replication in distributed systems. We start by de ning linearizability as the correctness criterion for replicated services (or objects), and present the two main classes of replication techniques: primary-backup replication and active replication. We introduce group communication as the infrastructure providing the adequate multicast primitives to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2005
ISSN: 0925-9856,1572-8102
DOI: 10.1007/s10703-005-1492-2